-
1 number-theoretic formalism
Большой англо-русский и русско-английский словарь > number-theoretic formalism
-
2 number-theoretic formalism
Математика: теоретико-числовой формализмУниверсальный англо-русский словарь > number-theoretic formalism
-
3 number-theoretic formalism
English-Russian scientific dictionary > number-theoretic formalism
-
4 number-theoretic
теоретико-числовой, арифметический - number-theoretic formalism - number-theoretic formula - number-theoretic predicate - number-theoretic relation - number-theoretic symbolismБольшой англо-русский и русско-английский словарь > number-theoretic
-
5 теоретико-числовой формализм
Большой англо-русский и русско-английский словарь > теоретико-числовой формализм
См. также в других словарях:
Complex number — A complex number can be visually represented as a pair of numbers forming a vector on a diagram called an Argand diagram, representing the complex plane. Re is the real axis, Im is the imaginary axis, and i is the square root of –1. A complex… … Wikipedia
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
List of mathematics articles (N) — NOTOC N N body problem N category N category number N connected space N dimensional sequential move puzzles N dimensional space N huge cardinal N jet N Mahlo cardinal N monoid N player game N set N skeleton N sphere N! conjecture Nabla symbol… … Wikipedia
Alexander Grothendieck — User:Geometry guy/InfoboxAlexander Grothendieck (born March 28, 1928 in Berlin, Germany) is considered to be one of the greatest mathematicians of the 20th century. He made major contributions to: algebraic topology, algebraic geometry, number… … Wikipedia
Friendly artificial intelligence — Laws of robotics Three Laws of Robotics by Isaac Asimov (in culture) · Tilden s Laws of Robotics by Mark Tilden … Wikipedia
mathematics, philosophy of — Branch of philosophy concerned with the epistemology and ontology of mathematics. Early in the 20th century, three main schools of thought called logicism, formalism, and intuitionism arose to account for and resolve the crisis in the foundations … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Many-worlds interpretation — The quantum mechanical Schrödinger s cat paradox according to the many worlds interpretation. In this interpretation every event is a branch point; the cat is both alive and dead, even before the box is opened, but the alive and dead cats are in… … Wikipedia